Theoretical Computer Science

This book constitutes the refereed proceedings of the 43rd National Conference on Theoretical Computer Science, NCTCS 2025, held in Kunming, China, during August 3--5, 2025.The 9 full papers and 1 short p…

lieferbar innerhalb 2-3 Wochen

Buch

Graph-Theoretic Concepts in Computer Science

This volume constitutes the thoroughly refereed proceedings of the 51st International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2025, which took place in Otzenhausen, Germany, during Ju…

lieferbar innerhalb 2-3 Wochen

Buch

Peter Coveney, Roger Highfield
Virtual You

The visionary science behind the digital human twins that will enhance our health and our futureVirtual You is a panoramic account of efforts by scientists around the world to build digital twins of human…

lieferbar innerhalb 1-2 Wochen

Buch

Arithmetic and Algebraic Geometry

This book is a tribute to the memory of Yuri Ivanovich Manin, who passed away on January 7, 2023. Manin was one of the giants of modern mathematics. His work covered a wide range of fields, including logi…

lieferbar innerhalb 2-3 Wochen

Buch

Lucien Sina
Complexity Theory

What is complexity theory - and why is it so central to computer science? Complexity theory studies how much time, memory, or other resources are needed to solve algorithmic problems. It provides the foun…

lieferbar innerhalb 2-3 Wochen

Buch

Joseph O'Rourke
The Mathematics of Origami

When you see a paper crane, what do you think of? A symbol of hope, a delicate craft, The Karate Kid? What you might not see, but is ever present, is the fascinating mathematics underlying it. Origami is …

lieferbar innerhalb 2-3 Wochen

Buch

Joseph O'Rourke
The Mathematics of Origami

When you see a paper crane, what do you think of? A symbol of hope, a delicate craft, The Karate Kid? What you might not see, but is ever present, is the fascinating mathematics underlying it. Origami is …

lieferbar innerhalb 2-3 Wochen

Buch

Proceedings of the Fifth International Conference on Emerging Trends in Mathematical Sciences & Computing (IEMSC-24)

The Proceedings of the Fifth International Conference on Emerging Trends in Mathematical Sciences & Computing (IEMSC-24) contains papers that present the current scientific as well as technological in…

lieferbar innerhalb 2-3 Wochen

Buch

Principles of Formal Quantitative Analysis

This Festschrift is dedicated to Christel Baier in recognition of her contributions to the field of theoretical computer science, particularly in formal methods, temporal logics, model checking, and proba…

lieferbar innerhalb 2-3 Wochen

Buch

Brian Cantwell Smith
Computational Reflections

A groundbreaking critique of the philosophical foundations of computing.Computational Reflections is a wholly original investigation into the philosophical foundations of computing. The author's lifetime …

lieferbar ab 12.5.2026.

Buch